Nuprl Definition : w-eq-E
0,22
postcript
pdf
p
=
q
== 1of(
p
) = 1of(
q
)
2of(
p
)=
2of(
q
)
latex
clarification:
w-eq-E(
w
;
p
;
q
) == 1of(
p
) = 1of(
q
)
2of(
p
)=
2of(
q
)
latex
Definitions
2of(
t
)
,
i
=
j
,
1of(
t
)
,
a
=
b
,
p
q
FDL editor aliases
w-eq-E
origin
2of(p)=2of(q)
2of(p)=2of(q) 2of(p)=2of(q)
2of(p)=2of(q) j q